干湿联合冷却塔冷却节水分析软件开发及应用

为实现对干湿联合冷却塔冷却特性、节水特性的综合分析，编制干湿联合冷却塔校核计算流程，基于Visual Studio开发平台，本文开发了干湿联合冷却塔冷却节水特性分析优化软件。通过对某在运干湿联合冷却塔进行冷却节水特性计算，验证了所开发软件计算结果的准确性；在消雾节水计算结果基础上，对标干湿联合消雾冷却塔验收测试规程，生成其成雾频率曲线、耗水量曲线、塔雾指数、冷却特性曲线，综合分析其消雾特性、节水特性及冷却特性，从而确定了干湿联合冷却塔的最佳运行工况。同时运用所开发软件对比分析了某冷却塔设计干段散热面积对其消雾特性、节水特性及冷却特性的耦合影响，并分析了百叶窗开度对干湿联合冷却塔性能的影响，为干湿联合冷却塔的运行优化和设计优化提供了工具性软件支持。     

Use of Modelica language to simulate electrified railway lines and trains

Simulation of multi-engineering systems typically requires many issues to be solved, which are to be addressed by developing appropriate modeling and simulation programming techniques. In the last years, the authors have participated in several studies in which they analyzed in detail electrified railway systems and simulated them using Modelica language. After a few years of study, despite the huge complexity of these systems, it has appeared evident that Modelica language is very well suited and able to effectively solve the typical issues they present. While specific railway system simulations have already been discussed in specific papers, whose focus was on application and actual results, in this paper, the authors show how to use Modelica language to solve specific modeling issues through suitable programming techniques. Moreover, the issues to be solved and the conceived techniques may be interpreted in a general way and to be applied also in different engineering domains. Finally, this paper briefly recalls the principal results obtained in previous specific papers, in which these techniques were fully implemented.     

新型地锚张弦梁式泥石流格栅坝构件受力的简化计算方法

针对常见泥石流防治结构被冲击破坏的问题，基于“柔性消能”理念，结合张弦梁结构和竖向预应力锚杆技术，提出一种既能改善结构受力性能、增加结构整体抗冲击能力、保证结构安全可靠，又能减小结构构件截面尺寸、节约成本、便于现场施工组装和后期运营维护的新型地锚张弦梁式泥石流格栅坝，并阐述其技术原理。根据泥石流荷载分布和新型地锚张弦梁式泥石流格栅坝的受力特征，给出其简化的内力计算方法；并利用SAP2000建立新结构有限元模型，分析了结构的整体受力，验证了构件简化计算方法的合理性；结合Python语言和Qt De? signer软件开发了相应的设计计算软件，对新型地锚张弦梁式泥石流格栅坝的内力进行求解。结果表明：提出的新结构抗冲击性能好，构件受力均匀；以后设计中应关注竖杆的剪切脆性破坏和立柱偏心受力情况，保证结构安全；变形协调仅使底层张弦梁与竖杆内力偏大，实际工程应用时，应着重验算底层构件，防止其破坏；文中提出的简化计算方法能较准确的反映结构的受力特性，具有一定的合理性，研究可为新型地锚张弦梁式泥石流格栅坝的设计计算和推广应用提供理论依据和技术支持。     

APP软件性能效率研究

性能效率是APP软件的重要质量属性，但目前缺乏APP软件性能效率的通用模型。分析了APP软件的性能特征，基于ISO/IEC 25010标准提出了APP软件的性能效率模型，定义了APP软件性能效率的子特性和度量指标。基于提出的APP软件性能效率模型，通过实验对APP软件的性能效率进行了度量及相关分析。     

某铅锌矿的三维地质模型及储量估算

针对矿山现有的地质信息数据等，建立了以利用Surpac软件的三维地表模型、矿体模型及地质数据库，对矿山资源储量进行计算。基于地质统计学的理论，建立某铅锌矿地表模型、钻孔数据库、矿体模型、块体模型，对矿体内样品进行组合分析统计，采用幂次距离反比法对块体品位进行估值，最后根据国内对地质矿产资源的分类方法，按照不同边界品位、工业品位等分类依据，得出资源储量核实报告，为铅锌矿的后续生产，提供了可靠保证。结果表明：通过构建该矿地质数据库，建立的三维模型，可对地质工程、采矿工程、储量估算、矿石品位动态管理等提供技术支持。     

基于CDEGS软件设计的下水库接地网改造

本文利用CDEGS软件,对天荒坪抽水蓄能电站水库区域的土壤及岩石等地质参数进行分析和拟合,并构建土壤的分层模型;然后通过对地网的网格大小、导体的疏密程度、接地网的面积、水平接地体的长度等因素进行经济比较和优化分析,设计出了符合安全标准的水下接地网。结果表明:水下接地网的设计满足设计要求,达到了改善接地网参数性能的目标。     

DPZ1型综合集成硬件控制器硬件安装与软件调试

文章重点介绍了DPZ1型综合集成硬件控制器的硬件组成、安装与连接的步骤方法以及注意事项。对底层软件安装及调试作了详细的说明,对于在安装与使用过程中出现的问题以及需要注意的事项,提出了相应的解决方法。对底层驱动程序安装调试过程中出现的问题提供了实用的解决方法,为业务人员提供参考。     

Sensei: Enforcing secure coding guidelines in the integrated development environment

We discuss the potential benefits, requirements, and implementation challenges of a security-by-design approach in which an integrated development environment plugin assists software developers to write code that complies with secure coding guidelines. We discuss how such a plugin can enable a company's policy-setting security experts and developers to pass their knowledge on to each other more efficiently, and to let developers more effectively put that knowledge into practice. This is achieved by letting the team members develop customized rule sets that formalize coding guidelines and by letting the plugin check the compliance of code being written to those rule sets in real time, similar to an as-you-type spell checker. Upon detected violations, the plugin suggests options to quickly fix them and offers additional information for the developer. We share our experience with proof-of-concept designs and implementations rolled out in multiple companies, and present some future research and development directions.     

基于过程与场景分析的航天应用软件测试方法

航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点，如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例，提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术，绘制软件系统运行流程图、阶段分析图，建立可表述软件系统级行为的场景树模型和场景树图；根据测试充分性要求，提出基于场景树图的路径覆盖准则，给出满足路径覆盖准则的测试用例集自动化生成算法；结合工程实例，给出了方法应用数据，开展测试结果分析。验证结果表明该测试方法是可行的和有效的，能够保障软件测试的充分性。     

水电工程下泄生态基流常用计算方法及软件开发

为了分析及确立生态基流,为水电工程环境影响评价提供依据,针对水电工程生态基流估算及决策过程繁复等问题,以2001—2015年水电工程环境影响评价及相关法律法规为基础,分析我国生态基流管理实践中使用最广泛的4种计算方法,即Tennant法、月基本流量法、最小流量法及7Q10法,并编制生态基流决策支持软件,并应用软件在汉江流域进行实例验证。结果表明,该软件能够提供多种计算方法及对比分析功能,可为水电工程下泄生态基流计算及决策提供计算平台。4种计算方法在汉江流域计算结果差异较大。总体而言,干流适合最小流量法及Tennant法,支流适合Tennant法。研究成果具有较大的实际应用和推广价值。